es{-}sends(${\it es}$; $l$; $e$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$sends(es{-}eq(${\it es}$);IdLnkDeq;es{-}pred?(${\it es}$);es\_info(${\it es}$);es\_val(${\it es}$);1of(es{-}oaxioms(${\it es}$));$e$;$l$)